Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
981	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein → Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Proof theory Models of computation Computability theory Lambda calculus Natural deduction Ordinal number Curry–Howard correspondence Symbol Mathematical logic Theoretical computer science Mathematics
982	The Ref proof-checker and its “common shared scenario” Eugenio G. Omodeo December 3, 2011 · · · l’histoire g´eologique nous montre que la vie n’est qu’un court ´episode entre deux ´eternit´es de mort, et Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 08:24:18 Function Automata theory Computability theory Theory of computation COMPASS/Sample Code IIHF World U18 Championships – Division II Mathematics Functions and mappings Constructible universe
983	Section 14.2 A Hierarchy of Languages Context-Sensitive Languages A context-sensitive grammar has productions of the form xAz → xyz, where A is a nonterminal and x, y, z are strings of grammar symbols with y ≠ Λ. Th Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-12-18 13:22:30 Mathematics Applied mathematics Computability theory Complexity classes Recursively enumerable language Unrestricted grammar Computability Linear bounded automaton Context-sensitive language Formal languages Theoretical computer science Theory of computation
984	Experimental Evaluation of an Adiabiatic Quantum System for Combinatorial Optimization Catherine C. McGeoch Cong Wang Add to Reading List Source URL: graphics8.nytimes.com Language: English - Date: 2013-05-08 16:44:53 Computational complexity theory Operations research Tabu search Quantum computer Algorithm Quantum algorithm Adiabatic quantum computation Simulated annealing Combinatorial optimization Applied mathematics Theoretical computer science Mathematics
985	World Socialist Web Site wsws.org The Imitation Game: “Am I a machine? Am I a war hero? Am I a criminal?” Add to Reading List Source URL: intsse.com Language: English Theoretical computer science Computability theory Models of computation Turing machine Theory of computation Andrew Hodges Turing Bletchley Park Enigma Alan Turing British people United Kingdom
986	Efficient submatch addressing for regular expressions Master’s Thesis Ville Laurikari Add to Reading List Source URL: laurikari.net Language: English - Date: 2010-10-05 00:06:57 Models of computation Computer science Applied mathematics Deterministic finite automaton Regular expression Finite-state machine Regular language Nondeterministic finite automaton String searching algorithm Automata theory Formal languages Theoretical computer science
987	Simulations of Computing by Self-Assembly Erik Winfree California Institute of Technology [removed] May 31, 1998 Add to Reading List Source URL: cba.mit.edu Language: English - Date: 2011-12-13 18:50:19 Visual arts Biology DNA nanotechnology Theory of computation Wang tile Molecular biology Penrose tiling Erik Winfree Tessellation Tiling Geometry Mosaic
988	Data Structures in Coco/R Hanspeter Mössenböck Johannes Kepler University Linz Institute of System Software April 2005 This technical note describes the data structures in the C# and Java implementations Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2005-04-26 10:03:24 Formal languages Computer science Pattern matching Universal identifiers Nondeterministic finite automaton Deterministic automaton Terminal and nonterminal symbols Deterministic finite automaton International Article Number Automata theory Models of computation Theoretical computer science
989	Runtime Verification for LTL and TLTL ANDREAS BAUER NICTA and Australian National University MARTIN LEUCKER Technische Universit¨at M¨ unchen Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:35 Automata theory Logic in computer science Formal methods Models of computation Temporal logic Linear temporal logic Formal verification Runtime verification Model checking Theoretical computer science Logic Mathematical logic
990	From Human Computation to the Global Brain: the self-organization of distributed intelligence Francis Heylighen Global Brain Institute Vrije Universiteit Brussel Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:21 Systems science Knowledge Futurology Systems theory Collective intelligence Socially distributed cognition Intelligence amplification Self-organization Distributed computing Science Cybernetics Superorganisms

UPDATE